TYP: annotate functions that always error with NoReturn
There are more non-abstract functions that also error. Most of them should probably be abstract functions. I ignored those functions.
Thanks @twoertwein 