use holheap for repl examples, and attempt to get syntax right again

still getting type error on the last one though, will look at the
results of each step next