Fix typo.
merge heads
Fix typo
Add link to glossary for hashable term in docs for set type