hack typechecker conformance