Definition of the Fraclet programming model.

The Fraclet programming model is composed of a core model (defined in the package annotations ) and a set of extensions (defined in the package extensions ).