Function add_sort

pub fn add_sort(
    egraph: &mut EGraph,
    name: &str,
) -> Result<Vec<CommandOutput>, Error>

Declare a new sort.