Attach semantic validation to `Type`

[filip26]

e.g. Type.validate(params) -> multiple types -> various model constraints

Run validation of all types before verification, what to do when an unknown type is found? Fail?

[filip26]

Should be determined by verifiers' verification policies