Fix compilation of core + backend
Sweet driver using first-class module and existential types.

Many thanks to @lpw25 for fixing the existential part!