rascal - rascal で ADT の特定の種類のコンストラクタを決定する

Question

問題は次のとおりです。

data Scalar=type1()|type2()|...

data Expr=scalar(Scalar aType)| secondForm(..) | thirdForm(..) |..

case Expr ee:binaryOperation(Expr e1,Expr e2, Op opern):
    //do something useful

e1 と e2 のタイプを判別する条件を指定して、以降のアクションを実行するにはどうすればよいですか。たとえば、

    if(e1 != scalar(_)) //do something useful
    if(e2 != scalar(_)) //do something useful