I explored going type first before writing this and you could get pretty close. The details get hard though, how do you represent unions vs enums? even knowing

I explored going type first before writing this and you could get pretty close. The details get hard though, how do you represent unions vs enums? even knowing what implements an interface? default arguments? directives?