Macro impl_reve

macro_rules! impl_reve {
    ($($ty:ident, $fun:ident, $instr:ident),*) => { ... };
}