optimize rotate-left for vectors
add type hints