I'm a bit afraid of the avalanche of additional requests this will generate. This is walking a thin line, but couldn't we test (outside of `askOption`) if the tree is a `TypeTree`, and only then call `.symbol` inside `askOption`?