for now, forbid universal type variables for term variables (no X:list(A) possible)