updated TODO. small bugfix in =~
Factored predicate logic into module. Pass predicates the env too.
Implemented sexp transformation of let syntax (e.g., var_name = some_pattern). Added 'Or' along the way.
Pipe syntax for alternative patterns