Function parse_let_definition 

pub fn parse_let_definition(input: &str) -> Result<Command, ParseError>

Parse “Let [name] be [term].” into Command::Definition (constant, not function)

This is for simple constant bindings like:

• Let T be Apply(Name "Not", Variable 0).
• Let G be the diagonalization of T.