Removes uses of proto/* functions except for the wrappers.
Uses counted?, sequential? instead of satisfies?.