small cosmetic changes
reorganizing HList
more Vector
+ Tautology2