Added Exceptions part of the proposal
Added Input Output part of the proposal
Added conditionals, unconditionals and loops part of the proposal.
Completed Type System
Rectified conflicts.

Conflicts:
	doc/documentation.pdf
	doc/documentation.tex