Function parse_term 

pub fn parse_term(
    input: Cid,
    defs: Rc<RefCell<Defs>>,
    rec: Option<Name>,
    ctx: Ctx,
    quasi: Rc<VecDeque<Term>>,
) -> impl Fn(Span<'_>) -> IResult<Span<'_>, Term, ParseError<Span<'_>>>

Parses each term variant