> There probably should be an option to pass in an iterator of Symbols
> to use instead of the dummies.

Hmm, maybe. But we don't know apriori how many symbols
we will need. An iterator or generator might make sense,
but I'm not sure if this will give more troubles that
it's worth.