Flexible type constraint system

First a caveat, this is not proper type system (you have to wait for Perl 6 if you want that).

Type constraints are for when an object is more than you need.