basic name based inflation test
subtype test
allow subtyping parameterized types
Merge pull request #17 from haarg/subtype_param

Subtype parameterized types