Add missing case in typechecker for CompExpr