Damas-Hindley-Milner Algorithm W

(refer to the expected AST node layouts in the comments of types.js)

Here is also a simple C# version.

Copyright (c) 2012 Cyril Jandia
See the file copying.txt for copying permission.