[dev-context] Re: some highlighted \type-ing