ceylondoc #1657 super/sub/types hierarchy