This looks nice, but I have a small nit to pick: the expression problem concerns static type safety, so discussing it in the context of an untyped/dynamically t

This looks nice, but I have a small nit to pick: the expression problem concerns static type safety, so discussing it in the context of an untyped/dynamically typechecked language is a bit off.