[cvs-nhc98] Label vars in a type declaration with their real arity/fix