Handled correctly existential constructs

  More examples and tests
Added ad-hoc definition of pair in Converter

  Fixed example of conversion using this one.