minor typos's repaired
added sourceforge file containing upload instructions
Updated sourceforge/newrelease
synced the version number to 9.0.0
Repaired A4 overfull boxes
Final tidbits before completion of 9.0.0
Ready for 9.0.0
Completed the concrete/promotions section
rewrote section about static const data and wip on binops wrt promotions
Processed comments by Francesco Poli