Debugging type checking