axiomlib: output EC type name when serializing EC

Signed-off-by: Victor Shcherbinin <victorshch@gmail.com>
axiomlib: fix ReducedRecognizerDTW

It used to cause spurious false positives

Signed-off-by: Victor Shcherbinin <victorshch@gmail.com>