Adding first context definition in Everest langage

Adding update relations in icasa everest domains

Updating tests