add type equality test macros