Allows traits for theories to be based on the data provided to each test case

Please see issue #218.