Remove misleading typedefs
Use stringstreams for operator<<(vec{3|4})

That way the output from multiple threads is not mixed up
on the command line