return tuples from rhs with multiple bindings

And hope for the best :) it's up to the user to ensure
that all productions return the right type (ocamlc will reject
the program if not).