Finished the new Typing_context module.