TypeFunction example: reason about class hierachies

[Stefan Koch]

On Saturday, 24 October 2020 at 20:54:45 UTC, Adam D. Ruppe wrote:
> On Saturday, 24 October 2020 at 20:27:37 UTC, Stefan Koch wrote:
>> P.S. getting is(Myclass SuperType == super) to work, requires 
>> unreasonably much code.
>
> Is the main blocker there that it only works to make the alias 
> in static if?

The main blocker is that it that `SuperType` is Identifier, I 
would have to change the way Is Expressions are represented.
And inject a variable into the scope.
It's quite messy to do that.