Update README & add demo
Rename WildCard to Wildcard
Add named wildcards (syntax and renamer)
Desugar named wildcards to meta vars