rename StaticVector to Array and StaticCounter to Counter
reduce dependency of the most common headers