Revisiting chapter about type system in CLS