Added comparison of list operation.
Added type id module.