Introduce *no_return_value* type as replacement for void type

[kirillzhosul]

Currently void type is uesd as mark that functions does not return any value, possibly rework that type with ! exclamation mark, or something like no_return/nothing type (but no_return is already an attribute that function is never returns.

This must/may not be an type, as should be used only as mark/attribute for function