Minor changes to type cast impossibility error.
Remove useless stratego module
Warn on incorrect LHS on reductions