what is the state space object (to be modified when class is made) -- table with different fields (name-optionnal?-class-meaning-default-constraints) -- ltpda_SS_make -- ltpda_ss_check