debug: check that t^- is defined before trying to infer its type
Force the evalutation to do so
Add the same mechanism to checkType