Update ideal example
Update gitignore

Ignore REPL stuff