lift instance for C types
expand docs for lift and unlift