Make parse-type do a for-label require.
Make annotate classes use for label.
Make tc-app code match using label phase.
Reduce and document template requires in types.
Reduce for-template imports in environment code.
Minor cleanup in utils.
Make typechecking code use label instead of template for binding.
Remove unused require.