finished transform, specs of example expressions

added MatchExpr
added SetOp