type definition and basic multiplication methods for StateProduct