Type propagation for mult_expr and line and pos propagation for it, atom and constant