README, and first parts of Proposal