Getting started

This repo will soon provide a syntax checker. Which will check the type syntax.

Type-checking itself will not happen yet.

TODO: Fill this section to embrace consistent documentation.