Tighten protocol definition docstrings
Fix equality operations and persistent vectors full of symbols