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 ).