Fix issue with function type compatibility.
Some more tests.
Detect return from a _Noreturn function.