validators and built-in types