Update the deps
Fix operators
Add operators support.
Small improvements
It works.
Add debruijn term
Add simple parser