Adding Vanilla proposal and Updating Library