shorten operator overloading etc.

6 jobs for NIFTy_4 in 16 minutes and 34 seconds