forall quantor added
attempt to make writing operators easier; still lots of bugs and gaps