Added a minimal Try-Catch-Finally module...
TODO: Try to find more things to fix. Add more type signatures a là Haskell as comments above functions that remain without it...