update repl_fun and repl_funExamples for new elaborator

the examples don't work yet because the compiler doesn't start with any
bindings for the variables that are supposed to be bound to primitives.