Added a .gitignore file
Implemented everything up to forall