Added a prelude containing basic definitions for reals and ints. Prelude should now be included instead of terms (if reals and ints are needed).
Extended and corrected model evaluation.
Finished model translation from Z3: translated models can now be evaluated on boole terms!