Definition of Java5 types for the Fraclet programming model.