Kinda first complete version

Some possible improvements:

- Add mutually recursive type declaration
- Elaborate on differences of lists and arrays
- Write on async workflows
- Improve examples