Text this: Modal Functional (Dialectica) Interpretation