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