Add safe integral auto-coercions

[View](https://github.com/tommit/rfcs/blob/safe-integral-auto-coercions/active/0000-safe-integral-auto-coercions.md)
What is the type of `bar()`?