vector-sized-1.4.0.0: Size tagged vectors