Top-level functions are not properly namespaced or genericized

[kengorab]

The most striking example of this is the Ok function, which is a convenience helper for Result.Ok. This is a top-level free function (ie. not a method), and it is compiled down to simply $.Ok. If there were another function in a different scope called Ok (irrelevant for this particular example of course, since Ok is a prelude function and is always defined and thus can never be overwritten, but the point still stands), or if there were multiple types invoked for that function (eg. Ok(1.23) and Ok(1) within the same program, the float one would likely be codegen-ed as an integer, which would break) this causes issues.