array types supported with annotations, updated tests

uncommented commented things, and filled in the holes. tests pass.