Function run_universe 

pub fn run_universe(
    mods: &[Rc<Module>],
    entry: &Rc<Module>,
    binds: Vec<Bind>,
) -> (Rc<Engine>, Vec<Diag>)