Function parse_term 

pub fn parse_term<'a>(
    arena: &'a Arena,
    input: &'a str,
) -> ParseResult<&'a Term<'a, DeBruijn>, Rich<'a, char>>