update TODO, hide & add comment for unreachable choice in rule vector_subscript