> Enumerated errors. Some part of the tooling should be able to tell me all the errors that a function could raise.

I don't know if I'm missing the mark here, but aren't you describing Checked Exceptions?