Provide definition of exp in PseudoC script.
Move a whole bunch of files around to make HOL sources more modular.

Should allow experiments on top of PseudoC without requiring
everything else to be built as well.