[ref_impl_eiffel] [916] Further minor adjustments; add top-level categories.

Revision: 916
Author: thomas.beale
Log Message: