Changes to RIN REPL + new examples