User blog comment:Alemagno12/New Alemagno12's hydra./@comment-1605058-20150927084753

Already your first extension is ill-defined, because it makes reduction # -> #(0) -> # (because 0 -> by main rules).