Pretty string representation for AST and fix typos

[jmhorcas]

• Pretty string representation for AST by recursively traversing the AST, which is then can be used for writers.
• Fix typos in operations (e.g., false-optional features).
• Pass prospector and mypy.