Extensions, constructions correctly heap-allocate, and references correctly lookup.