Aesop cleaner running

[siddhartha-gadgil]

• [x] Have a class that contains the configuration for the run.
• [x] Have a function that tries a sequence of runs till one leaves no goals.
• [x] Have functions that generate different runtime options (say using List.bind).
• [ ] Have dynamic tactics, including allowing different weights.
• [x] Have an unsafe intro rule with a different transparency.

[siddhartha-gadgil]

One may be able to use withOptions to run the intro with different transparencies (instead of copy-pasting).

[siddhartha-gadgil]

• [x] To try: make rules by building syntax and using Aesop's elaborator etc.

[siddhartha-gadgil]

Meaningful cleanup for this stage has been done. More can be done once this is used with predictions.