compiler/libec2: Support for instantiations