replaced links for clafer declarations with span

with class `claferDecl` and id=uid.
Moved decl ids from divs to spans.
missing top-level types