A subset of RFUN, a reversible functional language with algebraic types