Fix subtyping checks involving ThisType and PolyParam
Merge pull request #192 from smarter/fix/ThisType-subtyping

Fix subtyping checks involving ThisType and PolyParam