Make SAT instantiation deterministic
Move symbol arity and role into symbol id
Splitting needs Symb.db instead of Prob.t
Move type sign to module Sh