Flexible type constraint system

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