Function parse_executable 

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

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