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