Make next major release: PS-0.12.x-v0.9.0

[JordanMartinez]

Breaking Changes

• Split 00-Comments-and-Documentation.purs syntax file into two separate files and added an instruction for how to build the docs to see what the end result looks like
• Reorder the two Hello World folders: Application Structure and Type-Level Programming, so that the latter comes before the former since the former uses TLP.
• Deleted unused code from previous work: Hello World/Games/src/Helper Code/Node/ReadLine/CleanerInterface.purs
• Moved Conclusion.md from Hello World/Games into Hello World folder.
• Converted Design Patterns/Generic Algebraic Data Types.purs to Design Patterns/GADTs.md and link to better explanations/papers on the topic
• Converted Design Patterns/Smart Constructors.purs to markdown and explain it using two examples
• Reordered / assigned an order to most of the files in the Design Pattern folder

New Content

• Added "OO Design Patterns in FP Languages" article: Getting Started/ReadMe.md
• Use meta-language to document what instance head and instance context means: Syntax/Basic Syntax/src/TypeClasses and Newtypes/Constraining-Types-Using-Typeclasses.purs
• Explain unification and "backtracking" more clearly and link to various works related to it: Syntax/Type-Level Programming Syntax/src/Basic Syntax/Defining Functions/ReadMe.md
• Add a note about when/unless being strict and how purescript-call-by-name can make it lazy: Hello World/Prelude-ish/Control-Flow/Applicative.md
• Better explain the pattern to follow when translating one Run-based language to another Run-based language: Hello World/Games/src/Random Number/Run/ReadMe.md
• Add link to YouTube channel: LamdaConf: `Hello World/ReadMe
• Provide additional examples of Phantom Types: Design Patterns/Phantom Types
• Summarize the Data Validation via Applicative pattern
• Add a reference to the Zipper and link to other explanations on it: Design Patterns/Zipper.md
• Add a link to Functional Pearls list: Design Patterns/ReadMe.md
• Add a link to "What's new in PDFS since Okasaki?" question/answer: Ecosystem/Data Types/ReadMe.md
• Inline Generics-Rep issue explanation into project: Ecosystem/Type Classes/ReadMe.md
• Add link to Bortosz Mileski's blogs/videos on category theory: Ecosystem/Type Classes/ReadMe.md

Fixes / Changes

• Moved Row syntax explanation into more appropriate parts in Record folder: Syntax/Basic Syntax/src/Data and Functions/Records/
• Fix code in Phantom Types file