Support single-element Ptr indexes for Nat kinds and Values