added better debug-printing :-D
now the programmer gets better information which langugae-construct cause a fail (missing implementation).
+ added symbolic powerset (one of the missing features)
modified symbolic lambda check. It now more clear what is equal and what is a "dontknow"