directly use symbol as DeExpr type-param
add TFun{Sym} for symbol-based dispatch