Remove special cases for vec/str
Remove ExprVStore, includes coercions on return types etc.

[breaking-change] TODO
Pass tests (mostly test changes)
Address a bunch of TODOs from earlier and remove debugging printlns, etc.