lambda -> λ
Review HOAS/PHOAS
Related work: syntax for free
Add notes for the related work
Travis: -hlint, +texlive,rubber,run paper