In the spirit of #100 we should have a separate part of the book that contains: - reading cmm - reading stg - reading core - GHC analyses including: - unarisation - pointer tagging - SpecConstrt - Demand analysis and strictness - boxity analysis