ADDED: Allow colouring of goals written as {...}.