Fix to the type checker: handling aliases, specifically, aliased types
may refer to other aliases.