Function parse_executable 

pub fn parse_executable<'a>(
    s: &'a str,
) -> Result<LanguageExpression<'a>, LambdaParseError>

A function which maps strings to language of thought expressions. Crucially, it automatically performs all lambda reductions.