definition!
extra! ◦ usage: "i am TERM" or "i TERM" or "i have a [type] TERM"! ◦ eimtype - 'type equivalent!