Merge jt
Various changes that rested in the new_normalization branch and are not related to new normalization or the relation is relatively loose.
Edited by Jan Trávníček
Various changes that rested in the new_normalization branch and are not related to new normalization or the relation is relatively loose.