Text this: A Proof Theoretic Analysis of Intruder Theories