Added null state
Added reciprocal multiply inverse axiom
Added negation addition inverse axiom
Added .gitignore
Added files
Whitespace changes