Removed coerce builtin since it's no longer necessary
Port initial annotation state fix to new interpreter code
New rst.k3