remove useless include
remove comment between includes (not sorted by pre-commit anymore)

core/std-vector.hpp
* fix using-ctor for older cpp versions
* fix warning about conversion