Ratcheting up the abstraction of Lisp ten billion times.
With a type system ten billion times stronger than Rust's.
Ten billion, Senku's favorite number. Oh yes.