Added helper classes for handling and implementing finite-state SMDPs.
Updated FiniteStateMDP to extend FiniteStateSMDP.