type-sets v0.2.0 release

- [x] #3: changed cons symbol from `:+:` to `:~:`