Documentation and linguistic theory