A Survey of Computational Creativity Theories — From Formal Rigor to Generative Power | Synapse