Supply DM types the Instance.Name string literal

[lolmanurfunny]

When using the studio companion plugin, the Instance.Name string literal is currently discarded and therefore never able to be taken advantage of for type refinement.

Suppose I have two models in the workspace, foo and bar, and a function that accepts either one of them.

type foo = typeof(workspace.foo)
type bar = typeof(workspace.bar)

local function baz(model: foo | bar)
    if model.Name == "foo" then
        -- model's type is `foo | bar`, should be `foo`
    else
        -- model's type is `foo | bar`, should be `bar`
    end
end

In order to differentiate foo from bar at runtime, you'd use their names - that's sorta the point. However, the typechecker is unable to use this information since the .Name property is typed as just string.