Text this: Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators