Note style showcase

Constrained decoding with weighted automata