How to extend typesystem aspect to implement additional checking (e.g. custom checking/fixing)

Hi,

I'd like to extend MPs aspects like constraints and/or typesystem with custom nodes to define alternative ways for checking semantics.

Is it sufficient to extend/replace the generator of those aspects? How could this be achieved?

Thx
Kai