added newline tokens to the productions for all declarations; modified type signatures so functions can't be arguments or the return type; moved declaration operators to declarations and bindings section; added top-level description of smurf program to declarations and bindings intro