Synthesize properties with types, operators and more