Two problems: 1. Get the extensions of core data types to appear. 2. Mark when something is an extension and which spec it belongs to.