added the book72 definitions of Env, Sig, Context, and selfmade functions
for the emptyEnv and emptySig.