Switch everything to the Maybe and Fallible types

[dfellis]

This refactor was waiting on solid generic type inference. Now that that's available, a lot of code can be dropped, and now these types automatically work with user-defined types, too. :)