pretty print for Syntax.t
implement lsl & lsr