TypeAttribute extensions

[weinbe58]

From some slack conversations:

Phillip Weinberg

Oh if I do this I'll need to implement it in Kirin
So that's one thing to think about in terms of extensibility
Because it looks like right now all the ways of doing the is_subseteq bounds are hard coded into the methods of the TypeAttribute (edited)

Roger

yeah but technically TypeAttribute has the same rule as PyClass or Literal , it only has a special is_subseteq with itself
so we prob just need a new lattice element (not sure how to call it, say DialectType) that models this behaviour then you can subclass this DialectType and only consider is_subseteq_Self

Phillip Weinberg

I see so basically have a self-contained element type

Roger

yeah not sure what name it should be tho
there must be some mathematical name
but maybe ask GPT