Disjunction constrint spec changes

Described how several subcontraints of the same type are to be
specified.
Remove old high dim api; adapt acgh stuff to new 1