Improve specialisation in SpecConstr