Implicit arguments should allow all with constraints

[lpw25]

Rather than re-using the package type we should use a module type directly (but disallow signatures/functors to make avoid making the whole type checker mutually recursive).