Test cases have their own self-contained scopes.
Removed test files.
Avoid possibly non-terminating computation when users enter a cyclic type hierarchy.
Forbid unions with integers.
Removed deprecated class.
Fixed downcasting.
Fixed toString.
Coalesce simple != cases.