Closes #221 (closed).
Depends on https://gitlab.science.ru.nl/clean-compiler-and-rts/language-report/-/merge_requests/3.