implement integer mul and div in virtual.ml
pretty print for Syntax.t
implement lsl & lsr