Extensible Skills StandardFormal specification for extensibility categories (extensible, semi-extensible, not-extensible) and DCI blocks