pub fn beta_step(term: &Term, strategy: Strategy) -> Option<Term>
Perform one-step β-reduction under the given strategy.