If they are not created en passant by the type creation workflow, we should be able to define a function that will work as a validator for a user-defined type.
Once defined, a type can link to such a validator.
(This should be possible already, if I understand things right)