Version 0.7.0 has been released! 
Additions & Improvements
- Addition of the option
enable_runtime_checks. When false, all runtime checks in the given module are completely disabled. This is useful to for instance disable checks in a particular environment. (c.f. #52) Thank you, @baldwindavid! - Adding
DateTime.tto the default overrides of Elixir’s standard library, as it was still missing.
Besides this new version being released, I have spent some time to write an in-depth introductionary article:
Type-checking and spec-testing with TypeCheck
(Forum topic about the article)
If you were still unsure whether TypeCheck was for you, or how to use it, I urge you to give it a read! 
