update syntax of see() and throws() for #762
minor fix
minor to see() annotations
very minor
minor improv to Boolean