Hola, las restricciones se pueden escribir en lenguaje natural siempre que no sean ambiguas.
El datatype fecha es bastante estándar, por lo que no es estrictamente necesario establecer las restricciones de dominio de sus atributos.
En el modelo de dominio (etapa de análisis) se recomienda especificar el tipo cuando no queda claro a partir del nombre.
Saludos