Remove pretty
Adapt to new stepic style
Fix evaluation order for showNat example
Fix wording in steps 4, 5
Talk about Read