py: Fix typing of viper locals; allow default types in annotation.