HM chapter on website needs sync

[ngzhian]

I think the chapter on Hindley-Milner type inference needs to be pushed, the website has this code:

newtype TypeEnv = TypeEnv (Map.Map Var Scheme)

Whereas the chapter in git has this:

newtype TypeEnv = TypeEnv (Map.Map Name Scheme)

Thanks!