Yes, I know about those styles. But the double time only occurs at the second repeat of the song. It would be more useful if the user could decide which part of the song to switch to double time. That could be done by inserting a marker in edit mode. In latin music, many songs start as a cha cha and then switch to double time during the montuno section