vector-0.7: Efficient Arrays