exception TypeCheckerFailure of string Lazy.t
exception AssertFailure of string Lazy.t

(* typechecks the object, raising an exception if illtyped *)
let typecheck_obj obj = ()