I think these operators should preserve the type of the first argument, except for booleans, instead of attempting a promotion to a larger type. Note again the Object output types in the col/row for the Q type. left_shift not symmetric in1 ? , b , B , h , H , i , I , l , L , q , Q , f , d , g , F , D , G , -------------------------------------------------------------------------------------- in2 ? | b , b , B , h , H , i , I , i , I , q , Q , err, err, err, err, err, err, in2 b | b , b , h , h , i , i , q , i , q , q , O , err, err, err, err, err, err, in2 B | B , h , B , h , H , i , I , i , I , q , Q , err, err, err, err, err, err, in2 h | h , h , h , h , i , i , q , i , q , q , O , err, err, err, err, err, err, in2 H | H , i , H , i , H , i , I , i , I , q , Q , err, err, err, err, err, err, in2 i | i , i , i , i , i , i , q , i , q , q , O , err, err, err, err, err, err, in2 I | I , q , I , q , I , q , I , q , I , q , Q , err, err, err, err, err, err, in2 l | l , l , l , l , l , l , q , l , q , q , O , err, err, err, err, err, err, in2 L | L , q , L , q , L , q , L , q , L , q , Q , err, err, err, err, err, err, in2 q | q , q , q , q , q , q , q , q , q , q , O , err, err, err, err, err, err, in2 Q | Q , O , Q , O , Q , O , Q , O , Q , O , Q , err, err, err, err, err, err, in2 f | err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, in2 d | err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, in2 g | err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, in2 F | err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, in2 D | err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, in2 G | err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, right_shift not symmetric in1 ? , b , B , h , H , i , I , l , L , q , Q , f , d , g , F , D , G , -------------------------------------------------------------------------------------- in2 ? | b , b , B , h , H , i , I , i , I , q , Q , err, err, err, err, err, err, in2 b | b , b , h , h , i , i , q , i , q , q , O , err, err, err, err, err, err, in2 B | B , h , B , h , H , i , I , i , I , q , Q , err, err, err, err, err, err, in2 h | h , h , h , h , i , i , q , i , q , q , O , err, err, err, err, err, err, in2 H | H , i , H , i , H , i , I , i , I , q , Q , err, err, err, err, err, err, in2 i | i , i , i , i , i , i , q , i , q , q , O , err, err, err, err, err, err, in2 I | I , q , I , q , I , q , I , q , I , q , Q , err, err, err, err, err, err, in2 l | l , l , l , l , l , l , q , l , q , q , O , err, err, err, err, err, err, in2 L | L , q , L , q , L , q , L , q , L , q , Q , err, err, err, err, err, err, in2 q | q , q , q , q , q , q , q , q , q , q , O , err, err, err, err, err, err, in2 Q | Q , O , Q , O , Q , O , Q , O , Q , O , Q , err, err, err, err, err, err, in2 f | err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, in2 d | err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, in2 g | err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, in2 F | err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, in2 D | err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, in2 G | err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, err, Chuck