added support for mutual definitions and and example

Warning: requires a patched development version of bnfc available at:
https://github.com/simhu/bnfc