I usually think of any term being allowed in pattern position and simply acting as "unify with this". I think of define-term as simply introducing a meta-variable that means literally the term being ...