GenericParameter.cs: override Module properly