Type inference should work in the toolbox

For an example, see the point block I've added in the Coordinates drawer. It has literal numbers attached as shadows. But because type inference doesn't run in the toolbox, the block looks polymorphic until it's dragged to the workspace.