Small optimisation: the type of a constant does not need to be substituted when performing an open_bound operation. Separated the group example from the rest.