type checked while and for expressions
forces body of if-expr, while and for expressions return unit type