Basic checking of polymorphic assertions
Merge pull request #1 from wuzzeb/master

Basic checking of the top-level type constructor for bound type variables.