Remove BoxRegionFactory.
Simplify synthesis constructors.
Store expressions of exit rates in PSEModel.
In sampling-based syntheses, use PSEModel with point regions instead of instantiated CTMCs.