Added handling of :.: to FoldAlgK.

This allows one to use a FoldAlgK algebra for types like List = Cons
Int (Maybe List).  One could already use a FoldAlg algebra with a
Const functor, but that seems redundant.