added parenthesis around IntLit's used as objects in DotRef when pretty-printing