better syntax tree printing. fixing atom types