REActive SYnthesis for Nonlinear Systems