Provolone (sharp/piquant), aged for a minimum of four months and with a very sharp taste, to "provolone dolce" (sweet) with a very mild taste. In "provolone piccante", the distinctive piquant taste is produced with lipase (enzyme) derived from goat. The "Dolce" version uses calf's lipase instead. Both "provolone valpadana" and "provolone del Monaco "(from the Naples area of Italy) have received the DOP (Protected Designation of Origin) seal from the European Union, meaning no country other than Italy may legally produce a cheese called that. In Brazil, Argentina, Bolivia and Uruguay, small discs of locally produced pulled-curd provolone of in diameter
Type system or an "effect system", which enables even more program specifications to be verified by a type checker. Beyond simple value-type pairs, a virtual "region" of code is associated with an "effect" component describing "what" is being done "with what", and enabling for example to "throw" an error report. Thus the symbolic system may be a "type and effect system", which endows it with more safety checking than type checking alone. Whether automated by the compiler or specified by a programmer, a type system makes program behavior illegal if outside the type-system rules. Advantages provided by programmer-specified type systems include: Advantages