semantic: Translate @properties in binops, too.