\definetheorem 명령의 내부에 정의된 

\NewDocumentEnvironment { #2 } { o m }

이 부분에서 두 번째 인자 (m)이 선언되고 있으나 정의부에서 사용되고 있지 않습니다.

따라서 이 환경은 무조건 ##2에 해당하는 토큰 하나를 먹어들어갈 겁니다.

A가 사라진 이유는 그 때문이겠죠.

\NewDocumentEnvironment { #2 } { o }

이것으로 되지 싶지요.

콜론 관련된 문제는 이따금 이슈가 되기는 합니다만 이 샘플에서 에러를 발견할 수 없었고요,

에러가 생기는 예제를 제공해주신다면 같이 살펴볼 수 있겠습니다.