Experiment with integrating Pola for (more) declarative disambiguators.

[eddyb]

If we can encode an unambiguous (parse) subtree (from #40) in Pola's types, we might be able to provide a more restricted language, to write disambiguating logic in, based on Pola.