is_type 0.1.0

Equality constraints for types
Documentation