More stuff implemented.

Next steps: actually go over args to create alloca, then again to put them into
alloca. Each assignment is: gep + bitcast + store.