Typer.scala conversion no longer crashes