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.
subtype 'UpToEleven' => as 'Int' => where { $_ <= 11 };
...