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