Add scala.math.ScalaNumber in library-aux.
Fix some unrecognized shapes of trees for loops.
More blacklisting of tests.