Elaborated imports are no longer added to the ast
They are only typed and the resulting environment recovered