Enforce variable on LHS of (not) match steps
ESPL: Generalize not-match with wildcards
Add support for wildcards to proof search
Fix pretty-printing of inequalities
Make proofs work with not-match steps
Add a simple test case with wildcards
Fix type assertion proofs generated with -f mode