Merge pull request #6 from inc-lc/topic/anormal-2

A-normalization & static caching, again
Merge branch 'master' into topic/from-icfp
Move code out of worksheet + add show
Use show in worksheets
Instantiations: Explain how buildCacher preserves sharing constraints

A lesson on sharing constraints and abstraction in Scala type inference.