Improve Ada.Tags using no secondary stack