In the middle of writing the new Typing_context module.