Finished a Rough Version of the Dependent Typechecker

The dependent Typechecker handle's dependently typed terms, Dependent
Patterns have not yet been tested, but single variable terms have; See
TypeTester.java in the test package