Refactor the loader package.

First, actually call the package "loader."
Next, add a loader.Program type
that encapsulates more information than ssa.Program,
including the AST and the loader.Program.

This will be used when its time to associate
ssa.Instructions with ast.Nodes,
for use in constructing tests.