Rewrite syntactic tuples to constructor application