Rename RedDec to Numeral
Adjust stated roadmap