qualify members for see annotations so that they point to Declarations

rather than the model
annotations: fixed types of see/throws