An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems