Annotations

Policies:
- Degree of specialization
- Cache of specialized code
- Time of specialization

Two basic annotations: makeStatic(x,y); ... z = x+y; ... makeDynamic(x,y);