patch applied (haskell-prime-status): add liberalised type synonyms