Now that the paper is crystalizing, I have more time on my hand and I'm actively looking for job opportunities! Preferably I would like to work on GHC, Haskell, functional programming or compilers. 
You can find my contact, and the early draft of the paper on: artingh.com
Feel free to get in touch!

Interestingly, patterns have turned out to be the most delicate part of the system, and the part that is likely to be changed in the future.
We are also implementing a reference typechecker for the spec. Both of these are still a work in progress though.