Env.hs (p.141)
copied from chap5, and added type description for trans* functions in Sement.
Added level and temp parameters and fix type errors in Sement.hs
import the driver.hs from chap5/ and tested well. (in type-checking point of view.)