Added a note about skipping the discussion on 'Kind'
Defining and using modules.