Stav dette: Extensions to Theories of Relations and Tables in SMT