added some data types. goal: constructing the aggregated state space