Types and AI with types.
More on Redex patterns and language extensions.
pukool.