A Class system for JavaScript