Rename file type-descriptor.lisp to type-map.lisp.
Improved comments.
Introduced the concept of a TYPE-MAP.