validates inclusion in `REGULAR_TYPES` for regularity?