[Resolver] Have opIndex resolution