Generate Protocol stubs for protocols; Refactor progenAS.