More work on type completion, now have some very basic support for package expansion.