Experimental TypeOperators

I was not able to find any documentation for that, sources of GHC and
haskell-src-exts were not helpful and a part of TyopeOperators are
covered by existing implementation already.
At least, this does not break any tested files but added some more.