Added checking of operands in bin/un-exp.

Improved testing feedback by improving return values of parsers (next step, better error messages in parsers).
AnalysisResult[T] is now a monad

This removed the need for TypeResult