Support indexed-variable pattern-matching