Work around bug in Stratego concering lets
Separate message filtering from message postprocessing to ensure a hard fail if postprocessing fails
Also support analysis on non-preprocessed DynSem ASTs
Type system fixes.