Implemented Main module
Merge branch 'master' of https://github.com/AardvarkSoup/PV-practicum

Conflicts:
	CalculusTypes.hs
Merge branch 'master' of https://github.com/AardvarkSoup/PV-practicum
Added Read to SymbolicPrelude.