Clean-up. Removing unused references and moving main to Main.hs
Merge branch 'master' of https://github.com/rlreis90/LambdaPi