Result utility functions

Expand µRust with more Result utility functions, their specification and proof of correctness. Find relevant functions for AutoCorrode from Rust std lib's documentation e.g. [map_err functions](https://doc.rust-lang.org/std/result/enum.Result.html#method.map_err)