Python IR classes for Clafer, along with SMT backends