Incorrect checking for dependency on parameters

[yav]

When the REPL is in the context of a functor, we cannot evaluate things that depend on the parameters, because these are not yet defined. However, the check to determine if something depends on a parameter is not quite right, as this case illustrates:

interface module I where                                                         
  x : [8]  

module F where                                                                   
  import interface module I                                                         
  y = x + 1

module G where                                                                   
                                                                                    
  import interface module I                                                         
  import F { interface I }                                                       
                                                                                 
  z = x + y 

If we load G adn try to evaluate y we get a panic. Likely this happens when we access something that's defined in a local module, but that definition depends on the parameters.