Prevent procedures from returning values

Generalize the routine used to block constructors from returning values
to forbid the same in all Code blocks marned as `@noReturn`.

Throw a SyntaxError in this case.