There should be constraints for the `java.time.*` types. See HV for some; There has been a big discussion whether to support types such as `YEAR` which don't denote an exact point on the timeline and therefore need a time zone as input to tell whether they are in the future or not.