Fixed a bug in the printing of terms
Added basic support for flags and added a debug flag (-d).

The debug flag has no impact yet though as this first requires that we fix Eval.hs to not use Debug.Trace.