LoLi is another approach to System F-sub in a LISPy way

WWW: https://github.com/LoLi-Lang/LoLi
