Continue work on the resolver

Multi-module settings need far more examples. The implementation of Resolver's
internal is a prototype, but the interface with the Ast should be OK.