Towards a Unifying Framework for Formal Theories of Novelty