Fix ml_optimiseScript

Now mini_preludeScript doesn't work, with an error in a call to
register_type.