separate out the error location tests

also, Rackety
improve source locations for uses of contracted variables
fix some bugs in the traversal function in any-wrap that I introduced

Also, rename the function so that errors like this don't take me as long to find