Some Class axioms added. Format and typos corrected