more work on lua vector type