SOme work on Norell's and Chappman's Agda tutorial
Update .gitignore