0.3.0

Change log:

• Added both_multi goal
• Removed set from the type system
• Moved type system to separate module
• Re-factored state to be a map
• Added bunch of examples to bin

0.2.0

Update dependencies and remove ocaml version restriction

Initial release

Initial release of Logical