Completed instantiation of eval for isabelle, including some changes to atomic.ML as well as eval_atomic.ML