btw -- not to stop this PR but in general, there is also ", optional" for those which could be omitted. I believe we even just set ", optional" if default is None and otherwise it needs a typed value