v2.0.5

Term v2.0.5

Diff since v2.0.4

Merged pull requests:

• Add docstring to typestree (#219) (@KronosTheLate)
• Update app_intro.md (#220) (@KronosTheLate)
• Update app_intro.md (#221) (@KronosTheLate)
• Typo (#222) (@KronosTheLate)
• Improve transition rule documentation (#223) (@KronosTheLate)
• fixed code display on windows (#229) (@FedeClaudi)