Resolve "replace "immutable" with custom lattice"

Closes #16 (closed) Immutable has been replaced with a join semi-lattice register. This register can only embedded comparable types. Local assignments and merges always keep the greatest value. This kind of register is useful to store "constant" like variables.