Refactored ConstrainedType