Added Ranked instance. Simplified constraints on toRose
Added a Dictionary rollup module
toBinary (fromBinary t) = t