I made up the syntax to try to keep it easy to read for people using python/rust/c. I just realized my lambda syntax on the Nat predicate is redundant because

I made up the syntax to try to keep it easy to read for people using python/rust/c. I just realized my lambda syntax on the Nat predicate is redundant because I didn't clean up and that using snake_case for function names would be better in a language that lets you operate on functions like they are values.