Removing ObjType typeclass
Removing ObjType typeclass
Updated mkRDT
Refactoring
Refactoring
Statically typecheck contract implemented