Add Binding variant to parsing expressions. Implement binding matchings and extend try_match to deal with stores
Remove the old code, import the code from auk