Theory Linter
Analyzing...
Todo/Wishlist
Identify bad type-prescription rules (non type-like conclusions)
Identify compound-recogizer-like rules
Remove-hyps tool -- suggest hypotheses that can be removed?