The types are there for garbage collection, which is there for integration with the Web APIs which are all defined in terms of garbage collected objects.