Cleanup in the tranformation assistant
Added node mechanisms for raising errors, e.g. for the case when the let be st expression cannot find an applicable binding.
Made the transformation strategies and the transformation visitor use more abstract syntax transformation in order to get rid of the transformation configuration dependency