pub fn lower_universe(store: &mut Store, u: &Universe) -> LevelId
The core level for a LOGOS universe.