Type annotation and validation of exact in simulation.py

[galenseilis]

• Add type annotation for exact.
• Add input validation for exact.
• Add short explanation in docstring.

---

I didn't update tests, but I expect I'll need to before we can merge this PR.

[galenseilis]

As expected, more tests are required. I'll take a look at this when I find time.