Refactor: start using curry-flip

[dbrattli]

Cleanup and refactoring:

• Use curry-flip instead of nested functions. This simplifies a lot of the code.
• Add map2 for option and result
• Use modern unions i.e use | instead of Union[]