Unary relations optimized
Add 'Main' to .gitignore