gen: context-dependent validation

[shadowspore]

Initially IR was designed with the validation logic bound to types.
But later generic types were added.
The same generic type can be re-used in many places with different validation logic.
It looks like the validation is working fine (using some hacks: 1, 2).
But it needs to be reworked.