Handle tuple types and generate proper matching rules for them.

[Fiszcz]

More advanced (optional) task.

Currently, we throw errors for tuples in types, but pact specification describes these types as possible.