Is there a proper term for "anonymous definitions"? This is a style of programming where you avoid repeating the declaration name, so later renaming is trivial. E.g. Rust's self type, or loop-recur in Clojure.