Idea for a strongly typed systen

Types.php

<?php

declare(strict_types=1);

final class Types
{
    protected static bool $strict = false;

    public static function string(mixed $input): string
    {
        if (self::$strict && ! is_string($input)) {
            self::throwTypeError('string', $input);
        }
        
        return (string) $input;
    }

    protected static function throwTypeError(string $type, mixed $input)
    {
        return throw new TypeError(sprintf('Argument 1 passed to %s must be of the type %s, %s given',
            __METHOD__, $type, gettype($input))
        );
    }
}


final class Cast
{
    public static function toString(mixed $input): string
    {
        return (string) $input;
    }
}