Make Validation ADT more restrictive to particular field types

[dantb]

Although many of the validations are shared, having one single ADT makes parsing a bit nasty when we can be more explicit about which validations belong to which field types. For instance IntValidation, RichTextValidation, etc. When can still have a supertype if it's still useful.

Probably worth making it an enum too.