improved error messages, and now all forall tests in arrow are passing.