fixed lots of things, but quite not yet ready for prime-time (i.e., Typer.scala is fun)