use new `typeSigAnnotations`

otherwise all is the same, but now we have the tools at hand to hook into the types
of constructors and accessors