add void, label types
add examples for mul, add
add examples for alloca, store, load
repare layout