- Added .idea/ folder to .gitignore

- Changed cabal dependency from ==4.6.* to >= 4.6
- Added data types for Link, ProofStructure (see M&M 2012, p 4-7). Implementation stay very close to the mathematical definitions; this may be naive and they're likely candidates for optimization.