regenerate expected type and program results for Jago