Add Typemod.type_implicit_instance

Do the same work as type_package but directly packing a
Typedtree.module_expr rather than a Parsetree.module_expr.