Use GADTs to wrap Coordinates of pairs
Update .gitignore
Clean up endofunction encoding