On Interpolation and Symbol Elimination in Theory Extensions (Logical Methods in Computer Science, 2018)