First attempt to clean up the Python interface for the new typedef approach. Seems to import fine here, but it has not been tested with 64-bit integers yet. I'm not sure if I can do that testing here, frankly