On the way to fix teh verificator
Rough fix of normalization axioms

We must augment parReduce instead of norm. parReduce must
also have a fall back for meta variables. This fall back must
not interfere with dynamic axioms.

A wrong let is now detected. A right let is accepted.