Derive everything from Julia types that mimic Vega's quasi-types