Add pattern-lambda
Add atn file
Add rewrite states function for finite automatas
Add "equal" meta-pattern
Add finite-set-custom function
Add a "comparisions" section in util.lisp
Add string managing functions in util.lisp
Use correct comparison
Add tests for and patterns

Note however that it's not implemented yet
Backup commit