evincarofautumn/kitten — pull request #105 by evincarofautumn (2013-10-29 07:12:01+00:00)
Title: Check that declared types are instances of inferred.

WIP for #94.