Dominic: some more concise interval constructors