rename InstructionInfo -> MatchableInfo since it now