Fixed so we can translate some list functions which gets mapped to Haskell library functions, e.g. append och rev. Also added a flag which should configure if we want to filter out conjectures only about library functions, as we're probably only interested in those featuring at least one of our own functions. This flag-business is not fully implemented yet tho