Defined the Term interface
Built Language Primitives
Built Typechecking Primitives