Remove extension of import list
The KiCS2 currently extends the import list to cover all modules that are used in type signatures. We should check if this is still necessary.
Edited by Finn Teegen
The KiCS2 currently extends the import list to cover all modules that are used in type signatures. We should check if this is still necessary.