Function parse_definition 

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

Parse “## To [name] (params) -> RetType:” into Command::Definition

Handles implicit fixpoints: if the function name appears in the body, the body is automatically wrapped in Term::Fix.