Fix build
Export consF
Add mapFunctor
Add distributeF and sequenceF
Export HVectorF
Make ++ kind polymorphic