Fix myriad small details.

- _ts on types
- operator ==(
- we use allocator_arg for symmetry in make even though it's not necessary
Move this to toplevel
Make this exception safe.