implement address syntax for ld and st
add basic spec for optim
implement loop optimization