Allows declaring subtypes with constrained ranges.