Macro lift

macro_rules! lift {
    ($pure: expr) => { ... };
}