Interpreter project for the reversible functional language rFun.