pub fn reduce_head(term: &Term, world: &World) -> Term
Normalise a term assuming all it’s subterms are already normalised. Does beta/eta reduction on the head of the term.