Added handling of exceptions when given a function with no simp rules, slightly ugly, will make more robust later
Merge branch 'master' of https://github.com/moajohansson/IsaHipster