Added Types module.
Added a TableType lattice definition.