Towards a Top-Level Interpreter

I am looking at ways to build a top-level interactive interpreter. Best thing I can think of:

1. Compile a series of modules to a shared library.
2. Write an interpreter which compiles (untyped) expressions to thunks using libdl. A simple lambda to SKI to thunks compiler should be enough.
   
3. Evaluate thunks with the runtime.
   

Should do it. Needed: bindings of the runtime into the Hi language.