Language.PureScript.TypeChecker.Synonyms