Slight optimization
Add type for instructions (zebius/inst.ml)