Added some subtyping tests - please feel free to add more as bugs are found that need fixing. :)