ConstrainedType -> shouldSupportAssignment, shouldReturnValueOfConstrainedTypeWhenAssign