Towards a Formal Creativity Theory: Preliminary results in Novelty and Transformativeness