removed critical val in Vector, led to troubles with depending initializer blocks, replaced by more stable def
removed critical val in Vector, led to troubles with depending initializer blocks, replaced by more stable def

unibas-gravis/scalismo