JuMP already has set_name for ConstraintRef and GenericVariableRef, what about also for Model (alias for JuMP.GenericModel{Float64}).
And then use JuMP.get_name(model) to fetch it (the get_name do not exist though). These 2 API should be not very strenuous?
In this case users will feel more convenience, e.g. memorizing attributes of different models they have created.