Are there any good examples of these minimal lisps which include typechecking? I'd personally like to learn more about incorporating that aspect, but it seems fairly uncommon.
Based on this paper: http://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf