Slightly generified template functions, broke out Postconditions into Postcondition and repeated applications
Added .gitignore