Agda.TypeChecking.Monad.Imports

Register the given module as imported in the current state. Also recursively add its imports to the cumulative imports.

Assumes that the first module in the import path is the module we are worried about.