density -> distribution in frv.SingleFinitePSpace
refactor symbol, value, distribution to SinglePS
move _value_check to rv
single discrete pspace
hack compute_density in discrete