proposal: add def to definitions