Updated tests for New typechecker error