Add new feature: DeclareError introductions