reg-allocate should use x86/expr, not llL/expr orz
add type collection for local bindings
some test programs????