fix raw-array-fold
merge in fixes from ann-check2
a number of small fixes, including one that iss an actual type error in resolve-scope
merge
safe loading of ffi