Fixed bug in dependent types imports, 66 errors left in Typers.scala (from compiler sources)