pub fn lower(store: &mut Store, t: &Term) -> Result<ExprId, LowerError>
The core expression for a closed LOGOS term.