vector-sized-1.5.0: Size tagged vectors