Added instance Equality Binding
Haddock for Project and :<:
Added a catch-all instance of Project
Merged Constructs.hs and Evaluation.hs to Functional.hs
Added alpha-equivalence check
Added tests for alphaEq