[ref_impl_eiffel] [448] Refactored version of specialisation logic, now with ARCHETYPE specialised into FLAT_ARCHETYPE and DIFFERENTIAL_ARCHETYPE, and ARCHETYPE_ONTOLOGY similarly specialised into two new classes.

Revision: 448
Author: thomas.beale

Log Message: