Add and test some type-based validations.