Macro datatype

macro_rules! datatype {
    ($egraph:expr, (datatype $sort:ident $(($name:ident $($args:ident)* $(:cost $cost:expr)?))*)) => { ... };
}

Adds sorts and constructor tables to the database.