It's not an enriched element, it's an OPE.  But the function space on ext_coords better be an OPE space otherwise this won't work.  I think this is a reasonable place to fail if it isn't.