music-pitch-literal-1.7.1: Overloaded pitch literals.