GSD Garbage Collector/type system