lpw25/doc-ock-lib — pull request #17 by dsheets (2014-11-30 19:14:05+00:00)
Title: Rename ambiguous uses of 'class type' and 'extension'

Ambiguous 'class_type' is now 'class_signature' and ambiguous 'extension' is now 'type_extension'.
Definite 'type' is now 'datatype'. Also introduced polymorphic variant kind hierarchy.