Macro quantifier 

macro_rules! quantifier {
    ($term:expr, $vars:expr, $body:expr, universal) => { ... };
    ($term:expr, $vars:expr, $body:expr, existential) => { ... };
}

Macro for creating a quantified formula with default parameters