Calling Context.defineModule in Context.onTypeNotFound still errors

Because TypeDefinition lacks a few features (mostly import and using), it would be nicer to be able to call defineModule and have the compiler check again whether the type is still undefined after invoking all callbacks. I know that's not exactly pretty, but at least it wouldn't break any APIs.