revising implementation model w.r.t typeClass, primitiveTypeClass; renaming derivedTypeClass => constructedTypeClass; similar changes for the Lisp implementation elements