>>53945292Ultimately the issue with approaching the type system in a coherent fashion is the point of future proofing.
It'd probably be difficult to condense types due to how everything is setup at this stage; even if that is probably the most logical currently.
This is not a case of me caring about quantity, its mostly because the overall quality of types is abyssmal currently; they have very weak identity on average.
The current type systems are okay, they probably can do with some help but since I can't think of any I'm not going to suggest doing so.
People who come up with a million interactions are insane as being simple is very much a good thing.
