Generalize type of stepFun
Remove D.V.H.TypeLits module

 * listLen is merged into Arity type class
 * ++ is moved into D.V.H.Class module
Define Hvector instance of HVector in terms of Arity
Move Fodlr and Unfoldr type classes to ...Class module