Use IIDecl instead of IIModule

This allows running functions that are not interpreted.
The reason is sort of hidden in this thread:

http://comments.gmane.org/gmane.comp.lang.haskell.glasgow.user/20711

Still, it seems like QuickSpec is run single-threaded. I don't know why
this is.