Dominic: proper handling of greatest/least upper/lower bounds