Rel: In imitate_app, preserve typing equality between the rhs and the imitation
Rel: In imitate_app, preserve typing equality between the rhs and the imitation

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar