Added debugging print statements to type checker.