Added gitignore
Pretty good draft of check, and forgot to do pairs in unify