Anaphora and Type Logical Grammar