update docstring
typed literal vector syntax