Fix typechecker. It was not about normalization but source position data.