removes arrow binop
tc through modifiers ; now WITH PRIMITIVE NONDET