Allow user-supplied stratum maps.

Unfortunately, this does not seem to produce the correct behavior for the part
hierarchy example :-\ Offhand I'd expect this is because the implementation of
negation assumes that the input to the negation will be completely determined by
the start of the operator's stratum.