Commiting mistaken version of bidirectional typing before changing it.
Set up macros for equality hints