Fix elaboration problems.
Disambiguate Vect vs List in Combinators.
Remove old-style laziness annotations.
Add some tests.
Some improvements in tests.
Add lazy combinators + some tests.
Some more tests added.
Add a test of nested lists.
Exit with a proper return code in runtests.sh.
Add documentation to the parser combinators
Update the install procedure.
use more compact syntax for chains of lambda expressions
fix compilation errors in json example
add laziness type annotation to (<|>|)
fix stack overflows in json example

by using (<|>|) for recursion