Known issues:

* Tables without patterns are not supported.
* The lexer silently discards input that it does not understand.

RFEs:

* Higher-Order abstract syntax
* Doubles