Committing some semantics changes

Committing some semantics changes
- Typing Errors
- Changing Proposal Story to Our Story