use scopes to lookup types.