Add interpreter accessor, impose non-null constraint on interpreter object
Fix cloning/merging of "lost values", Fix annotation merge