Music and Time: Theme Types