began work on TRS.
* unification defects fixed
* extended State trait
* first successful tests for isApplicable
minor cleanup and added tests for full coverage