Towards Exploratory Reformulation of Constraint Models