On the other hand, nice weather and relaxing in the library for a while do wonders to temper my bad moods. Found another book very much in the vein of type-theoretic grammar, named type logic grammar: categorical logic of signs. I'm sure to spew my opinion of it once I've read enough to have one.