integrated FeatureExpression to NewTypes
started migrating functions

created Test.hs file to test new functions
updated cabal file to load Test.hs instead of Main.hs
updated README.md
implemented *toPropositionalLogic functions