Added default variable elimination ordering
More Exports in Factor.hs
Added expectation value