pub fn modus_term(i: Span<'_>) -> IResult<Span<'_>, ModusTerm>