Updated Tableau reasoner using REX data structures.
Included test cases from CS3019/CS3025. All passed.