Domain algebra demo

Demo implementation for the presentation "Beyond aggregates - designing your domain algebra" - you can find the presentation directly in the code (for now in PL only) :