document Type::Exception and split its subclasses out into separate modules
add the quote marks back into assertion error messages; better for compatibility with older type-tiny