NEW FEATURE: Haskell style type assertions from the type-check library. Bumped version to 31