tweak examples
add Bind and Project propositions as special case of Match
translate formulas to instructions and instructions to stratego
generated files