precise GC with type info saved in allocated memory