Added a note/todo for later on the implementation of fmap/containers.
Added clause::ample::dot for unary template-type parameter composition.

Let A,B,C,D,E be a sequence of template-type parameters requiring a single
type parameter for instantiation and X any type parameter, dot has the
following result when used with apply:

    apply<dot<A,B,C,D,E>,X> is actually A<B<C<D<E<X>>>>>

This is optimized up to 4 (four) template-type parameters prior to doing
a foldr instantiation.