restore Proposals.py
fix LOTHypothesis import to work with re-adding the Proposals.py file