Add some basic language for program start

[llvm-beanz]

This section is pretty bare bones, but it defines some of the basics for how program start is represented.