update DevelMain and add some repl helpers