Use a '$' instead of a '.' to indicate a type provided in application code. The reason for the change is to have a consistent "extern" symbol that isn't widely used elsewhere and isn't ambiguous in expressions.
This allows us to remember information about an external type, such as its name, while still marking it as unchecked.