Again, accept Interfaces rather than the noPrelude flag so that we don't have to reproduce the same logic for getting the Prelude.interfaces in Compiler.hs (ie either getting the list of interfaces or an empty Map).