Email Record: Types and Type Theories in Natural Language Analysis.