added syntax for Records
implemented Record syntax
gave subtyping semantics to application