public static function typeString($type)
{
if ($type instanceof Type\Tuple || $type instanceof Type\Collection || $type instanceof Type\Map || $type instanceof Type\Set || $type instanceof Type\UserType) {
return sprintf("frozen<%s>", $type);
} else {
return (string) $type;
}
}