spawned the subtype type checker from the SystemF typechecker. Removed generics and the miu combinator since they are not important for subtyping
introduced set and created record types
naive subtyping implemented
added syntax for Records
implemented Record syntax
gave subtyping semantics to application
stub implementation for record typechecking
added rw rule to equation transfmogrifier
record type checker that returns nat for all fields
The record typesgit status
added comments