tetra: add tests using higher ranked types
Update gitignore