Interactive Music Theory