Text this: On Interpolation and Symbol Elimination in Theory Extensions