Sexp-based pattern matching in translator.