Added pattern matching support for identifiers. We can now bind identifiers in lambdas, records, etc. as splice variables in metaprogramming.
Added pattern matching support for identifiers. We can now bind identifiers in lambdas, records, etc. as splice variables in metaprogramming.

DaMSL/K3,yliu120/K3,DaMSL/K3