Ignore redundant match cases in type checker; Add Nat pattern matching syntax; Fix var names when flattening variables that match constructors #592

Closed developedby closed 1 month ago