Remove isApplicable from the StratifiedRules

[Kukovec]

Following the discussion under #2554 (comment), we should consider simplifying the rewriting rules, by making them return Options (or equivalent).
Theoretically, this should suffice for the rewriter, under the assumption that there is at most one applicable rule for each input.