Fixed error in exprTypechecker (logical expression returned merged type
not boolean