Implicit Behavioral Subtyping

I have posted a draft of an article about implicit behavioral subtyping in the Heron programming language at 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!