Generates a zoo of terms form a Signature. For each function symbol in the signature a closed term is generated and added to the zoo.
Signature