* add typing rules for environments, continuations and computations.