Non-recursive typedef ruled out as recursive.

[supercooldave]

The following reasonable typedefs result in the type checker complaining that "type synonyms cannot be recursive".

typedef PQEntry[t] = (int, t)
typedef Comparator[t] = (PQEntry[t], PQEntry[t]) -> bool

Typedefs such as these should be permitted.