py: Make some symbols publicly visible