type

Top Level に type はかけないのな。Tutorial に従って

abstract class Tree
case class Sum(l: Tree, r: Tree) extends Tree
case class Var(n: String) extends Tree
case class Const(v: int) extends Tree
type Environment = String => int

なんてのを書くと "expected class or type definition" といわれた。
とりあえず、

object Expression {
  type Environment = String => int
}

なんて書くとよさそうだ。
しかし、scala のインタープリタだと問題なく実行できたりするんだよな。