Typer has mutable globals