- Removed ExtInfo field
- Removed special treatment of proto in def_const