Modified latex printing of Lambda to use \mapsto
Modified tests so working with \mapsto version of Lambda