added test for typeclasses passing parameters to the typeclasses they extend
added another test for typeclasses and parameters