Splitted module into Type, Value, Instr, Block and Env modules.
Type used to define icmp signature (factorization).
Added missing comparison operators.
Same for integer operations.