Text this: Three Syntactic Theories for Combinatory Graph Reduction.