SetLogicTransform -- transform ops to symbols

also implemented CardinalityExpr node