use Types::TypeTiny more within the distribution
document overloading
sanity check type constraint names
changelog