Make TR use for label instead of for-template

Currently TR pulls in a bunch of modules for-template so that it can check the bindings of identifiers. This changes it so that it uses for-label, and removes the need to have two requires at different phases for the test cases.