A *(term) for systems that are built inductively, starting from a small core and calling constructors on it. Such systems can be enumerated recursively, and generally are all trees in shape.