Type alias OptionalMatchingDirection

This extends the MatchingDirection type to allow unknown matching directions.

This is useful when the matching direction of an element/alternative cannot be known with 100% certainty.