Got rid of useless 'Operand' lower type bound on many things