$type match expression is mapped to various intervals in indexed plans depending on the value of the predicate.

Implement the opposite transformation to match expression when possible.

In some cases there is no 1:1 mapping and we need to investigate which, if any, expression should be returned. Examples:

• [undefined, undefined] can be created from {$type: 6} and {"a": []} original expressions.
• [nan, inf] can be created from all numeric types: {$type: 16}, {$type: 18}, {$type: 19} and from $mod original expression.