resource TestOperTypes = { flags optimize=noexpand; oper A : T = Str ; T : Type = A ; }