Dropped support for multiple Base functors.
Tiny code cleanup.
Changed the we get <Base>: not it is an argument of the top-level.