replace IntSeq with List

maybe it's time to make a category for rules that are used only in the matching logic prover so that you don't have to modify the check every time you have some new type of rule