TDL-a type description language for constraint-based grammars: Foundations, implementation, and applications (Saarbrucken dissertations in computational linguistics and language technology)