scribble: fix regression in HTML rendering

Fixes a problem with 2d5884b26a.
Fix type of set?. Closes PR13509.
Fix heterogeneous vector typechecking.