Typer & Solving Status