doc: define type normalization and its effects

What

Fixes issue #2439.

Define type normalization.

Why

Currently, the notion of type normalization is missing.

How

Add a definition in the Michelson page, and briefly mention what it is in the client command normalize type.

Manually testing the MR

Check that the explanations are correct and clear.

Checklist

• rSelect suitable reviewers using the Reviewers field below.
• Select as Assignee the next person who should take action on that MR