Enable approximation of implicit module types
New instantiation strategy