add: all-stars function
modified: precure function setfable
bug fixed: cl-annot library was invalid