Text this: Strict and sloppy identity in lambda-categorial grammar /