some useful macros for test-based type errors