Text this: Definability and Interpolation within Decidable Fixpoint Logics