use PowerSet(R) in TypeSystem (replacing List(R))