Allows declaring subtypes with  constrained ranges.