charles-l added function applications, function literal encoding

Latest commit 1b558d0

Jun 28, 2017