LuaVector; LuaArray; new type_manager version type