Adapting the test suite for the new Fixpoint functor
exnv added to primitive successors
Adding exception handling to primitives
Indentation