// Now instantiate the java class representation.
JavaClassRep strictAppClassRep = new JavaClassRep(strictAppTypeName, superClassTypeName, classModifiers, interfaces);
//add the function field, which is a reference to the function singleton.
JavaFieldDeclaration functionFieldDec = new JavaFieldDeclaration (Modifier.PRIVATE | Modifier.FINAL, className, "function", null);
strictAppClassRep.addFieldDeclaration(functionFieldDec);
JavaField functionField = new JavaField.Instance (null, "function", className);
// This class has a member field for each argument to the SC.
JavaField[] functionArgumentMemberFields = new JavaField [mf.getArity()];
for (int i = 0; i < mf.getArity(); ++i) {