An outline of type-theoretical approaches to lexical semantics