testing typechecker