Assess feasability of specifying the service used on a target for a given transaction.
//An example of specification
val tr = Transaction (app read data using loadService)
This can be done without syntactic sugar but in a very non-user-friendly way.
@Gaudeval @ccoquand: what do you think of that?
