> I think there are no microtones names in english
no, there isn't. but this is not a difficult thing to do.
they should be defined in a file called "english.ly" inside the "ly"
directory in the sources. for instance, this is how the note names are
defined in duch ("nederlands.ly" file):