subtraction and TypeError cases