Fixed bug in 'unpack' tactic, modified class definition syntax: classes are now simply defined with a name,
a list of parameters, and a definition which may depend on these parameters.