in _tags, add more warnings and stronger inlining
make Vec.t abstract and document it; remove ugly hacks