update MatchingTests
Update the common test file and add arbitrary instances for some Types
Add initial testing for Types module