Add proposal doc