Polymorph extensible ADTs cannot be extended

E.g. if I --- with the following code --- run clm ext I get the following error:

Error [ext.dcl,5,Poly]: Poly undefined

main.dcl:

definition module main

:: Poly a = Poly a | ..

ext.dcl:

definition module ext

import main

:: Poly a | Ext a