Random-ast has option to create random word equations

[FedericoAureliano]

I want to create word equations that don't have higher order functions or regular expressions for testing word equation solving. This does what I want.

[dblotsky]

I think this goes against the spirit of a "random AST" generator. It would now produce a "somewhat random" AST. What do you think about instead creating a word-equation generator, or augmenting the equality generator (maybe even renaming it to word-equation)?

[FedericoAureliano]

That's totally fair. I see it as a random AST with a restriction on the grammar. It's interesting to think about how the grammar (even the default one) affects "randomness".

I'll create a separate generator for word-equations :)

[dblotsky]

@FedericoAureliano you're completely right, the "randomness" is a debatable topic, since it's affected by so many factors (e.g. frequency of string arguments in definitions).

[dblotsky]

Please close the PR if you end up making a new generator instead.

[dblotsky]

@FedericoAureliano heyoo, is this PR still relevant?

[FedericoAureliano]

Haven't gotten around to making the separate word equation generator. It may be less useful than I initially expected it to be. I would be OK with deleting this pull request/branch.