Factor out typing rules for implicit functions
Enable approximation of implicit module types