better observe-at support w/ lazy-tree solvers
rename lazy-tree-based importance-sampler
added basic importance sampler