More documentation

100% coverage for Language.SMTLib2!