Workaround a bug in bnfc generating .#[ instead of [^, improved names in subscript