Add support for anywhere rules

No, everything that worked before still works now. I am just excluding some new cases which I couldn't handle. Specifically, I used to assume that sort predicate rule is defined on KItem only, i.e., ```rule isVal(cons V:Val) => true``` in ```fun-untyped.k```. However, now I see ```rule isNat(I:Int) => I >=Int 0 [function, anywhere]``` in ```builtins/int.k``` after including all ```[anywhere]``` rules. I need to exclude this rule until I properly re-implement the support for sort predicate later.