vector-0.5: Efficient Arrays