[Resolver] #421 Completed first implementation of scanning type aliases declared inside Is-Expressions.