continue;
VarDeclaration vd = (VarDeclaration) d;
String propName = vd.getName();
Type type = vd.getType();
FileLocation line = vd.getLocation();
newEnv = newEnv.extend(new NameBindingImpl(propName, type));
newEnv = newEnv.extend(
new NameBindingImpl(
"set" + propName.substring(0,1).toUpperCase() + propName.substring(1),
new Arrow(type, Unit.getInstance())));
} else if (d instanceof ValDeclaration) {
if (((ValDeclaration) d).isClassMember() != useClassMembers)
continue;
ValDeclaration vd = (ValDeclaration) d;
String propName = vd.getName();
Type type = vd.getType();
FileLocation line = vd.getLocation();
DefDeclaration getter = new DefDeclaration(propName, type,
new LinkedList<NameBinding>(), null, false, line);
newEnv = getter.extend(newEnv, newEnv);