New implementations for resolving types.