Adding compiled proposal to repo