We should be able to elide at least a couple of these annotations.
I think just override APersistentSet should infer the rest.
:unchecked-ancestors is a different problem.
Not urgent.