Fix generated variable names in flatten, add Nat pattern matching function syntax, ignore redundant match cases when checking #594

Closed developedby closed 1 month ago