Changed the style of headers in DESIGN.md, to allow for more types
Added some other things