basic pretty printing with block labels
denormalized AST a bit for simplicity