Also export the CheckSatResult datatype