Few fixes in Typers.scala from compiler sources. Fixed SOE in Typers.scala, now it's usable to edit it (still more than 1000 errors).