Text this: Disjunctive bases: normal forms and model theory for modal logics