vector-sized-1.2.0.1: Size tagged vectors