Implemented RNG decls
Added and refined DTD decls
Completed proposal text.