Simplify subtying test
Fix subtyping of types without symbols
Merge pull request #180 from smarter/fix/nosymbol-subtyping

 Fix subtyping of types without symbols