More progress on xh-core script; now the evaluator appears to work quite well.