add test grammars, and make the simplest test pass
add backward translation