Type checking is completely broken, but constraint generation is now
possible