Overhaul in program-level constructs: global environment tables sigma and ex_types, review of existential types introduction. Initial commit.