More updates to front section of manual

[x] Fixes typos, minor formatting and grammar issues and uses check marks
[x] Better cross-referencing
[x] Adds explanation of how primitive numeric types map onto machine arithmetic (#2085)