Cyclic Type Errors Occur Once per Usage

[InsertCreativityHere]

It is an error to have a cyclic type-alias, since it causes an infinite cycle when trying to resolve what the underlying type is.
But, we check for these kinds of cycles during the type-resolution phase, and we run the check once per resolution.
This has the unfortunate effect of emitting an error every single time the type-alias gets used.

It would be better to change this behavior so we only emit a single error per type-alias cycle.