Moved executable + Added top-level export module

Also fixed .ghci to use the top-level export module