There's a footnote somewhere in there, I think to the effect that what later came to be called m-expressions were originally called f-expressions? Hence the wei

There's a footnote somewhere in there, I think to the effect that what later came to be called m-expressions were originally called f-expressions? Hence the weird terminology.