changed names of unresolved types from "error-type" to "unresolved-type" because it's easier for the user to understand what that means.
changed names of unresolved types from "error-type" to "unresolved-type" because it's easier for the user to understand what that means.