added Equal and Arbitrary instances for module related classes, reflexivity tests for module. something is wrong with Core Arbitrary blowing up memory though, so I'm not sure if this works yet.