optimization: define reduction-relation for expressions