add some debug output to DotTyper.scala
add some tests in TestDotTyper.scala, but not sure if done correctly
add failing <:Top test in TestDot.scala