feat: improve error detection and recovery for type pattern/derivation parser

[jvanstraten]

• add function to check whether a pattern can ever be evaluated, and use it in places where a pattern is used only in evaluation context
• add function to check whether a pattern can only ever match/yield a single metatype, and use it in evaluate->match scenarios and for function arguments
• add error diagnostics for the use of constructs that are not already in use or documented by Substrait
• add x?y:z syntax to improve error recovery and the error message for it (even though the syntax is highly ambiguous)
• fix data type pattern not matching correctly due to typos