Typechecker should flag circular aliases

[jurgenvinju]

Originally posted by @tvdstorm in https://github.com/usethesource/rascal/issues/1746#issuecomment-1362227095

A definition alias B = void(str, B); refers to itself in its own definition; this is not allowed and not implemented by the interpreter. Also indirect circular dependency with an intermediate alias definition is not allowed.