typing: the static type of a blockexpr is the one of the last expression