Conversation

In do-ap, they are values rather than syntax, and I was using rator and rand to denote only the subexpressions of a function application syntactic form. I'll add a note about this to my todo list for revisions, thanks!
1
In reading further I think it seems like the deeper problem is with the formatting of the function signatures. Scribble's typography/layout seems to be signifying 'new section' where as the text seems to be treating them more like a figures.
1
1