removed comments
installed DualCharacter for free relative elements,

i.e., for IsElementOfGradedRelativeGrothendieckRingOfGroupRep and IsFree and HasSocle
added H:Q8_2_5.g
fixed Subtitle and LongTitle
renamed DualCharacter -> Dual and fixed a method

fixed a method for Dual (replaced Socle -> TipOfModule)
and moved it to E-Module.gi
declared and installed GradedHom and Hom
improved Name methods for the group case
installed IsPure, NegativeParts, EulerCharacteristic