fullsimple started
added a comment informing that type parsing is based on the source code of https://github.com/zoetrope/tapl-fs