Use varToVHDLExpr in mkConcSm.