Extend typespecs with no_return where function can raise

[preciz]

Thanks for reviewing 👋 .

[wojtekmach]

most functions will raise if given incorrect arguments and we're not annotating them as no_return; we reserve that type for functions that never return (always raise, loop indefinitely, etc)

[preciz]

Thank you for the clarification!