Also tune the simpl behavior of ty_own a little to be less eager with unfolding