Re: Type Synonyms and termination checking