Add goals section
Show how declared type overrides inferred type
Add python_skeletons module to use python_skeletons data for inference