Investigate explicitly bidirectional type synonyms

Result: they aren't there yet in GHC 7.8.3.