Add a main

[bencochran]

Right now, we have no way to generate a value main definition.

I think I want to solve this by requiring a def main() with zero parameters. Then during codegen we can special-case main and generate it to return an int (maybe casting the function body’s result?). That way we can actually execute the resulting code.