Typers.scala conversion step 1: no longer crashes