noted the rules which are CBV only (before we remove them)
cbn
fix rules for Fst, Snd and Fix