move some base types into python.lib