Replace all explicit List and Nil with Vector in Infer.scala.  But it doesn't compile yet since List is implicitly used on the other hand.