Splitted module into Type, Value, Instr, Block and Env modules.