Fixed up primitives list and added tuples
Filled out the rest of design.md