Got ml_translatorScript working with modules.

I didn't get evaluate_decs'_empty_store_IMP and
evaluate_decs'_empty_store working, but they don't appear to be used
anywhere.

ml_optimiseScript fails now.