Macro define_sorts_for_logic

macro_rules! define_sorts_for_logic {
    ($logic: ident, $($variant: ident -> $sort: ty),*) => { ... };
}