Lambda the Ultimate

I have posted a draft of an article about implicit behavioral subtyping in the Heron programming language at http://www.artima.com/weblogs/viewpost.jsp?thread=144349. I believe it to be original research, but I still have many more papers to plow through. I was wondering if anyone could help me out. That includes pointing out mistakes, or similar research which should be mentioned. Thanks a lot!