Refactoring of class Top.
Now there is only one Top class, and there is no subclass needed.
This change was made within the more general change of adding the Kind
type to the Executors to limit unwanted casts. However, it is itself
itself for code simplification.

The Top class now becomes the generic parser/processor binder ; it may
be renamed in the future.