the implementation is what I find nifty. `return` ...

# announcements

[kirillrakhman]

the implementation is what I find nifty. return is actually an expression of type Nothing and because Nothing is a subtype of every other type, it can be placed whenever any other type is expected. Same applies to break, continue and throw