Games that feature procedurally generated levels, permadeath, and the ability to unlock permanent upgrades between runs