Still in the middle of writing the new Typing_context module.