Implementation of the Traits formal model. The TraitsModel package contains the implementation of the model from the TOPLAS paper (http://doi.acm.org/10.1145/1119479.1119483). The StatefulTraitsModel contains a new model intended to capture state as well.