Specifications, Global Variables, Modules and Packages in Python