fixed use/require specs in all files, used add-to-docstr on ->Propn and ->Obj