optimize type constraints for TypeFixedValues