tie a variable to a type constraint

 Type::Tie exports a single function: ttie.
 ttie ties a variable to a type constraint,
 ensuring that whatever values stored in the variable
 will conform to the type constraint.
 If the type constraint has coercions,
 these will be used if necessary
 to ensure values assigned to the variable conform.