Error propagation does not work properly for logical binary operators

[SimonCockx]

Given a binary operator where one of the operands has type nothing (i.e., it has a type error), then the resulting type of a logical binary operator should still be a boolean. Right now it is nothing as well.

Example:

myList filter 42 = thisSymbolDoesNotExists

This one confusingly results in an error on the filter operation, since its body is not of type boolean, but of type nothing.