Extend to take problem file (optionally)

Will be eventually needed if we want to handle effects such as...

```lisp
(forall (?x - whatever) (oneof (f1 ?x) (f2 ?x)))
```

Idea would be to unroll; converting the `forall` to a conjunction over the `whatever`-typed objects+constants. We need the problem file to get at the objects.