Modified tuple and list printing to use \left instead of matrices. The corresponding tests will fail. There are many of them...
Modified latex printing of Lambda to use \mapsto
Modified tests so working with \mapsto version of Lambda
Merge branch 'latex_tuples_lists'