adapt scalajs-compiler to not use type-history
add test for long implementation
add test files for ancestor checks