Add TODO and features file.
Support maybe(set) operator (with default weight 50)
Documentations for new plain Maybe(A) operator
Update TODO.md

A detail on probability weight.
Better support for symbols in LANG files.
Better patterns for interpreter
A new weightless operator, Or(A, B), and better error messages for operators.
Merge branch 'newfeatures'