Admit that Sized module is taken from std lib
General text improvements

Mostly introduction.
Remove scratchpad: all notes have been incorporated