- Added some documentations of type system