In sat/sat, replaced theory state with type unit