another test is converted and prettyprinted correctly

Next step: Typers.scala.