trim out some more hand-compiled code
ws
generalize slice(), now backend can handle it
see annotations
add lots of see xrefs
fix another string