vector-0.10: Efficient Arrays