New Design Doc

Next steps: figure out inter-module proofs of concept