Add n-ary support to hindley-milner example code

[kevinbarabash]

This extension also supports partial application of n-ary lambdas and ignoring extra args when applying args. The latter extension is to support function sub-typing in the future.