Typing of expression New, Sequences and If-then-else?