Distinguish a type variable (X) and a type expression (N)