pub fn lift_rb(nm: &str, type_: &Type) -> Result<String, Error>