A set type for JavaScript