[ref_impl_eiffel] [1232] These changes change ARCHETYPE_ONTOLOGY and ADL_ENGINE so that the ontology object properly reports coded errors , currently only to do with constraint_ and term_bindings.

Revision: 1232
Author: thomas.beale
Log Message: