Add source domain to the parameters of a domain transformer
Add domain transformers for PPL domains
Change tranformer interface to allow for some pre-computations
Make transformer for PPL properties an implicit object