Add .gitignore
Add time primitives and the primitive declaration axiom. Add Hashes utility class.