Fix typing.ml

expression does not have to be of unit type