Remove `.success_type` and `.failure_type`

[sobolevn]

Since Success / Failure and Some / Nothing are real types, we can remove .success_type and .failure_type hacks.

It is a breaking change, but it is a simple one to fix.
And it is a better API.