Update submodules io, examples, cuda, backend-kit
lift instance for C types
expand docs for lift and unlift