assertive.types (version 0.0-1)
Assertions to Check Types of Variables
Description
A set of predicates and assertions for checking the types of
    variables.  This is mainly for use by other package developers who want to
    include run-time testing features in their own packages.  End-users will
    usually want to use assertive directly.