Fix bug: misinterpretation of S-Var: X can mean `TypeExpr x []`