It extends dot definition to be able to deal with operands that are not
square tensors. It also fixes a bug in the lowerer related to that.