More complete JSC ECMA datamodel