and the type system bindings were recently moved into

pkg/typesystem

, so you can call them from an external generator