SmtLib2: added type synonyms