Update extension methods specification for prefix imports. (#672)

* Update extension methods specification for prefix imports.

Allow extensions imported with a prefix to be accessible for implicit invocation, but make them less specific than any extension imported without a prefix.

Disallow deferred imports of extensions completely (for now).