Add an entrypoint to `Typing_solver`