Auto-curry typify.check
Change tests to use check currying
Merge pull request #15 from phadej/check-autocurry

Auto-curry typify.check