Added decomposition relation and renamed ECall to EApp.
Merge branch 'master' of https://github.com/melloc/atomicity

Conflicts:
	Atomicity.v

This commit also renames the decomposition relation from E to D to
avoid confusion with the constructors for expressions.