Start updating README.md to Turing completeness

Make the Chomsky-3 completeness a subsection, and add a header for “The Power of the Ceylon Type System” in general. Also some minor changes to the text (mostly formatting).