[python] get rid of HxBuiltin, clean up things here and there