Handle nested imports.

E.g.: "Require Import Coq.Arith.Arith."