Support AC modifier in SMT input format

[Halbaroth]

While I was porting the documentation of AE from Sphinx to odoc, I noticed there is no support for the ac modifier in the SMT-LIB input format.

I create this issue as a remainder.

I am not sure how to implement this properly.