It generalizes them the lisp way: by building machines that build machines.