Add design docs
Add initial abstract