[ref_impl_eiffel] [362] Fix some weak conditions in archetype validity checking.

Revision: 362
Author: thomas.beale

Log Message: