Update the README.md to reflect the current state of development

[smarter]

For example, currently it says:

At present, only the frontend (parser and type-checker) exists; the transformation and code generation phases remain to be written.

Which is no longer accurate.

[smarter]

Fixed by #857.