Use SMT declare-datatypes

Curiously, Bools are not declared this way. Not sure why.

TODO: List all SMT keywords and use them.