typechecker tests