define vector literal type