Add pretty printer, extract Terms to separate module
Move debug functions to separate module

Silences unused warnings
Remove ATerm, AProp
Move Err into Util module
Move Term parsing unto separate module
add modules to cabal file