Type synonyms and data type declarations can now depend on each other.