Added fixity declarations for the weirder operators.
Added <<</>~ and <<</>= (sorry)
Added <<<.>~ and <<<.>= (still sorry)