Maybe add templates of standard typing rules, semantics?

[wilbowma]

I'm getting sick of typing the same standard rules. Maybe should create some macros parameterized by formatting macros to generate some of these standard rules...