loopback_symbols is a temporary var anyway, no need to remove any epsilon
use alph_mono for the prefix alphabet (though we later have to add the symbols created for loopback)
s/insertSymbolsIntoSet/createLoopbackSymbols/ since it actually creates new symbols in the alphabet,

also some more docs, and cleanup in trim()