Better deubg output from typeckecker