Example: SimpleApp
< X:simpleClient | ready:true, tasks:D.L, server:Y >
< X:simpleClient | ready:false, tasks:L, server:Y > Y<-simple(D,X)
As a meta-object tower base:
< X:simpleClientMO| ready:true, tasks:D.L, server:Y, up:cL >
< X:simpleClient | ready:false, tasks:L, server:Y, up:cL.(Y<-simple(D,X)) >