[cvs-nhc98] patch applied (hat): Changed module and data type name Kind into IdKind so that the name Kind is free for type checking purposes. Added a few comments.