WyBS: some fixes; it's now passing the WyC tests, but failing some WyJC tests because of lambdas.