Small presentation changes

use e for the source language terms and \iota for the target language terms

use \sigma and \tau for their types

use semicolons to separate arguments to operators instead of commas

lam_S -> lam_RS
two typos from previous commit.