Better debug info for type checking