First version with simplified syntax
Added main
Corrected all tests
First version with Backtracking Monad
Refactor BackMonad to Result and created tests
Added typing and first version of validator
Added first version of semantics
Added tests to shape validator
First version with test-suite
First version with test-suite working
Added tests for conjunction/disjunction
Added more tests
Merge pull request #3 from labra/simplifiedSyntax

Simplified syntax