bool isTypeVar(\parameter(_,_))
bool isTypeVar(\alias(_,_,Symbol at))
bool isTypeVar(\label(_,Symbol lt))
default bool isTypeVar(Symbol _)
import Type;